module Snake_AStar {
	requires Snake;
}